Method and Tools for On - board Software Engineering Proposal for TEC - SW / 09 - 301 / SoW Tasks 3 & 4 : Revised Technical Proposal

The key issue that was clarified at the meeting is that the purpose of Tasks 3 and 4 is to perform research into a formal verification/validation process that would fit with ESA’s software development methodologies, by developing a reference specification, identifying a formalism and process, and running a pilot feasibility study on sample code. The actual code to be subjected to verification in this trial is for example purposes only and would not be the code that would be used or developed for an ESA mission. The latter would require both the proposed formal verification process and corresponding code to go through ESA qualification, which is a major undertaking that would only occur if a future mission decided it requires such verified code.